From Term Rewriting to Folding Narrowing: Foundations and Applications 29 Oct 2026 FC6 0.29 14:30 By Raúl López Rueda Published at: 20 Oct 2026 News Events Lecture Talks@DCC
Metaprogramming: Foundations and Applications 27 Oct 2026 FC6 0.28 14:30 By Professor Pedro Ângelo Published at: 20 Oct 2026 News Events Lecture Talks@DCC
The formosa crypto approach to formally verified Cryptography 20 Oct 2026 FC6 0.28 14:30 By Professor Manuel Barbosa Published at: 2 Oct 2026 News Events Lecture Talks@DCC
Recruitment | Assistant Professors Would you like to join the teaching staff at DCC/FCUP? Published at: 29 Sep 2026 News Opportunities Recruitment
DCC professor creates Programming Club for all ages The FAIL LOOP Association – Programming Club provides free online tools for anyone to learn programming and develop their creativity. Published at: 25 Sep 2026 News projetos
